Existential decidability for addition and divisibility in holomorphy subrings of global fields
نویسندگان
چکیده
We investigate the problem of deciding whether a system linear equations, together with divisibility conditions on variables, has solution over holomorphy subrings global fields. obtain decidability results when we allow poles at cofinite set places, and undecidability finite places.
منابع مشابه
On Decidability Within the Arithmetic of Addition and Divisibility
The arithmetic of natural numbers with addition and divisibility has been shown undecidable as a consequence of the fact that multiplication of natural numbers can be interpreted into this theory, as shown by J. Robinson [Rob49]. The most important decidable subsets of the arithmetic of addition and divisibility are the arithmetic of addition, proved by M. Presburger [Pre29], and the purely exi...
متن کاملUndecidable Existential Problems for Addition and Divisibility in Algebraic Number Rings
Existential formulas involving addition and divisibility are shown to be undecidable in the ring of integers of a real quadratic extension of the rationals. A weaker result is proved for extensions of higher degree. In [5] it was shown that there is an algorithm for deciding formulas of the form 3*. ••• 3*„.N/y,(*)| &(*), (1) where 3c = (xx,..., x„), a\b means "a divides b" and the/ and g¡ are ...
متن کاملThe Diophantine Problem for Addition and Divisibility
An algorithm is given for deciding existential formulas involving addition and the divisibility relation over the natural numbers. In this paper it will be shown that there is an algorithm for deciding formulas of the form k 0) 3x,.3x„6N A /,(*.,..., xn)\g¡(xx, ...,xtt) /-I in N (the natural numbers), where the / and g¡ are linear polynomials with integer coefficients. (a\b means "a divides b"....
متن کاملHolomorphy rings of function fields
In his 1974 text, Commutative Ring Theory, Kaplansky states that among the examples of non-Dedekind Prüfer domains, the main ones are valuation domains, the ring of entire functions and the integral closure of a Prüfer domain in an algebraic extension of its quotient field [Kap74, p.72]. A similar list today would likely include Kronecker function rings, the ring of integervalued polynomials an...
متن کاملRevisiting Acyclicity and Guardedness Criteria for Decidability of Existential Rules
Existential rules, i.e. Datalog extended with existential quantifiers in rule heads, are currently studied under a variety of names such as Datalog+/–, ∀∃rules, and tuple-generating dependencies. The renewed interest in this formalism is fuelled by a wealth of recently discovered language fragments for which query answering is decidable. This paper extends and consolidates two of the main appro...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Number Theory
سال: 2022
ISSN: ['0022-314X', '1096-1658']
DOI: https://doi.org/10.1016/j.jnt.2022.04.005